Integrand size = 26, antiderivative size = 52 \[ \int \frac {1}{\sqrt {-1+x} \sqrt {1+x} \sqrt {-1+2 x^2}} \, dx=\frac {\sqrt {1-2 x^2} \sqrt {1-x^2} \operatorname {EllipticF}(\arcsin (x),2)}{\sqrt {-1+x} \sqrt {1+x} \sqrt {-1+2 x^2}} \]
[Out]
Time = 0.03 (sec) , antiderivative size = 52, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.115, Rules used = {533, 432, 430} \[ \int \frac {1}{\sqrt {-1+x} \sqrt {1+x} \sqrt {-1+2 x^2}} \, dx=\frac {\sqrt {1-2 x^2} \sqrt {1-x^2} \operatorname {EllipticF}(\arcsin (x),2)}{\sqrt {x-1} \sqrt {x+1} \sqrt {2 x^2-1}} \]
[In]
[Out]
Rule 430
Rule 432
Rule 533
Rubi steps \begin{align*} \text {integral}& = \frac {\sqrt {-1+x^2} \int \frac {1}{\sqrt {-1+x^2} \sqrt {-1+2 x^2}} \, dx}{\sqrt {-1+x} \sqrt {1+x}} \\ & = \frac {\left (\sqrt {1-2 x^2} \sqrt {-1+x^2}\right ) \int \frac {1}{\sqrt {1-2 x^2} \sqrt {-1+x^2}} \, dx}{\sqrt {-1+x} \sqrt {1+x} \sqrt {-1+2 x^2}} \\ & = \frac {\left (\sqrt {1-2 x^2} \sqrt {1-x^2}\right ) \int \frac {1}{\sqrt {1-2 x^2} \sqrt {1-x^2}} \, dx}{\sqrt {-1+x} \sqrt {1+x} \sqrt {-1+2 x^2}} \\ & = \frac {\sqrt {1-2 x^2} \sqrt {1-x^2} F\left (\left .\sin ^{-1}(x)\right |2\right )}{\sqrt {-1+x} \sqrt {1+x} \sqrt {-1+2 x^2}} \\ \end{align*}
Leaf count is larger than twice the leaf count of optimal. \(107\) vs. \(2(52)=104\).
Time = 34.62 (sec) , antiderivative size = 107, normalized size of antiderivative = 2.06 \[ \int \frac {1}{\sqrt {-1+x} \sqrt {1+x} \sqrt {-1+2 x^2}} \, dx=-\frac {2 (-1+x)^{3/2} \sqrt {\frac {1+x}{1-x}} \sqrt {\frac {1-2 x^2}{(-1+x)^2}} \operatorname {EllipticF}\left (\arcsin \left (\frac {\sqrt {2+\sqrt {2}+\frac {1}{-1+x}}}{2^{3/4}}\right ),4 \left (-4+3 \sqrt {2}\right )\right )}{\sqrt {3+2 \sqrt {2}} \sqrt {1+x} \sqrt {-1+2 x^2}} \]
[In]
[Out]
Time = 1.12 (sec) , antiderivative size = 58, normalized size of antiderivative = 1.12
method | result | size |
default | \(\frac {\sqrt {-1+x}\, \sqrt {1+x}\, \sqrt {2 x^{2}-1}\, \sqrt {-x^{2}+1}\, \sqrt {-2 x^{2}+1}\, F\left (x , \sqrt {2}\right )}{2 x^{4}-3 x^{2}+1}\) | \(58\) |
elliptic | \(\frac {\sqrt {\left (2 x^{2}-1\right ) \left (x^{2}-1\right )}\, \sqrt {-x^{2}+1}\, \sqrt {-2 x^{2}+1}\, F\left (x , \sqrt {2}\right )}{\sqrt {-1+x}\, \sqrt {1+x}\, \sqrt {2 x^{2}-1}\, \sqrt {2 x^{4}-3 x^{2}+1}}\) | \(73\) |
[In]
[Out]
none
Time = 0.09 (sec) , antiderivative size = 4, normalized size of antiderivative = 0.08 \[ \int \frac {1}{\sqrt {-1+x} \sqrt {1+x} \sqrt {-1+2 x^2}} \, dx=F(\arcsin \left (x\right )\,|\,2) \]
[In]
[Out]
\[ \int \frac {1}{\sqrt {-1+x} \sqrt {1+x} \sqrt {-1+2 x^2}} \, dx=\int \frac {1}{\sqrt {x - 1} \sqrt {x + 1} \sqrt {2 x^{2} - 1}}\, dx \]
[In]
[Out]
\[ \int \frac {1}{\sqrt {-1+x} \sqrt {1+x} \sqrt {-1+2 x^2}} \, dx=\int { \frac {1}{\sqrt {2 \, x^{2} - 1} \sqrt {x + 1} \sqrt {x - 1}} \,d x } \]
[In]
[Out]
\[ \int \frac {1}{\sqrt {-1+x} \sqrt {1+x} \sqrt {-1+2 x^2}} \, dx=\int { \frac {1}{\sqrt {2 \, x^{2} - 1} \sqrt {x + 1} \sqrt {x - 1}} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {1}{\sqrt {-1+x} \sqrt {1+x} \sqrt {-1+2 x^2}} \, dx=\int \frac {1}{\sqrt {2\,x^2-1}\,\sqrt {x-1}\,\sqrt {x+1}} \,d x \]
[In]
[Out]